#!/bin/bash

workdir=/tmp/vxref.${sessionid}
pipein=${workdir}/vxref.fifo.in          #pipe that is used to feed in
pipeout=${workdir}/vxref.fifo.out        #pipe that is used to feed ou
xref=xref                                #xref binary 
pipeserver=${dirname}/pipeserver
vxrefserver=${dirname}/vxrefserver
vxrefout=${workdir}/vxref.out
vxreflock=${workdir}/vxref.lock
log_input=${workdir}/input_debug.dat
log_output=${workdir}/output_debug.dat

options=("-xrefactory-II")         #create default starting options 
options=(${options[@]} "-crlfconversion")
options=(${options[@]} "-crconversion")
options=(${options[@]} "-encoding=default")
options=(${options[@]} "-task_regime_server")
